reductional disjunction

减数离开